@PREAMBLE{ "\newcommand{\noopsort}[1]{}" }
@STRING{aalborg	= "Department of Mathematics and Computer Science, Aalborg 
		  University, Denmark" } 
@STRING{adb	= "Computing Science Department, Uppsala University, Sweden" } 
@STRING{chalmers= "Department of Computer Science, Chalmers University of 
		  Technology, G{\"o}teborg, Sweden" } 
@STRING{docs	= "Department of Computer Systems, Uppsala University, 
		  Sweden" } 
@STRING{imag	= "IMAG, Laboratoire de G{\'e}nie Informatique" } 
@STRING{kth	= "Royal Institute of Technology, Stockholm, Sweden" } 
@STRING{dcs-ed	= "Department of Computer Science, University of Edinburgh, 
		  UK" } 
@STRING{lfcs	= "Laboratory for Foundations of Computer Science, " } 
 
@STRING{oxford	= "Oxford University, Oxford, UK" } 
@STRING{sics	= "Swedish Institute of Computer Science, Kista, Sweden" } 
@STRING{stanfordcs="Department of Computer Sciences, Stanford University, 
		  USA" } 
@STRING{sussex	= "School of Cognitive and Computing Sciences, University of 
		  Sussex, UK" } 
@STRING{warwick	= "Department of Computer Science, University of Warwick, UK" } 
@STRING{ap	= "Academic Press" } 
@STRING{aw	= "Addison-Wesley" } 
@STRING{cup	= "Cambridge University Press" } 
@STRING{csp	= "Computer Society Press" } 
@STRING{nh	= "North-Holland" } 
@STRING{ph	= "Prentice Hall" } 
@STRING{sv	= "Springer-Verlag" } 
@STRING{lncs	= "Lecture Notes in Computer Science" } 
@STRING{icalp	= "Colloquium on Automata, Languages and Programming (ICALP)" } 
@STRING{lics	= "Annual Symposium on Logic in Computer Science (LICS)" } 
@STRING{mfocs	= "Mathematical Foundations of Computer Science" } 
@STRING{podc	= "Annual Symposium on Principles of Distributed Computing 
		  (PODC)" } 
@STRING{popl	= "Annual Symposium on Principles of Programming Languages 
		  (POPL)" } 
@STRING{procomet= "Working Conference on Programming Concepts, Methods and 
		  Calculi" } 
@STRING{slfp	= "Symposium on {\sc lisp} and Functional Programming" } 
@STRING{entcs	= "Electronic Notes in Theoretical Computer Science" } 
@STRING{ai	= "Acta Informatica" } 
@STRING{arti	= "Artificial Intelligence" } 
@STRING{cacm	= "Communications of the ACM" } 
@STRING{fac	= "Journal of Formal Aspects of Computing" } 
@STRING{ic	= "Information and Control" } 
@STRING{jic	= "Journal of Information and Computation" } 
@STRING{ieee-se	= "IEEE Transactions on Software Engineering" } 
@STRING{ipl	= "Information Processing Letters" } 
@STRING{jacm	= "Journal of the ACM" } 
@STRING{jcss	= "Journal of Computer and System Sciences" } 
@STRING{jsc	= "Journal of Symbolic Computation" } 
@STRING{pjm	= "Pacific Journal of Mathematics" } 
@STRING{siamjc	= "SIAM Journal of Computing" } 
@STRING{tcs	= "Theoretical Computer Science" } 
@STRING{toplas	= "ACM Transactions on Programming Languages and Systems" } 





@InProceedings{toro09,
  author = 	 {Mauricio Toro and Camilo Rueda and G�rard Assayag and Carlos Ag\'{o}n.},
  title = 	 {{NtccRT: A Concurrent Constraint Framework for Real-Time Interaction}}, 
  booktitle = 	 {Proc. of International Computer Music Conference},
  year = 	 {2009},
}

@inproceedings{Olarte-Multimedia,
  author = {Carlos Olarte and Camilo Rueda},
  title = {A Declarative Language for Dynamic Multimedia Interaction Systems},
  booktitle = {Proc of. MCM'09},
  publisher = {Springer},
  year = {2009},
   note = {To appear}
}
 
%%% Added by Mauricio
@inproceedings{openmusic,
	Author = {Bresson, Jean and Agon, Carlos and Assayag, G{\'e}rard},
	Booktitle = {Proc. of Brazilian Symposium on Computer Music},
	Date-Added = {2008-12-01 11:44:53 +0100},
	Date-Modified = {2009-01-28 09:32:08 -0500},
	Title = {OpenMusic 5: A Cross-Platform Release of the Computer-Assisted Composition Environment},
	Year = {2005},
	Bdsk-Url-1 = {http://mediatheque.ircam.fr/articles/textes/Bresson05b/}}

@techreport{tororeport,
	Author = {Mauricio Toro},
	Date-Added = {2008-12-01 11:44:53 +0100},
	Date-Modified = {2009-01-28 09:34:12 -0500},
	Institution = {Ircam},
	Number = {2008-3},
	Title = {Exploring the possibilities and limitations of Concurrent Programming for Multimedia Interaction and graphical representations to solve musical CSP's},
	Year = {2008},
	Bdsk-Url-1 = {http://mediatheque.ircam.fr/articles/textes/ToroBermudez08a/t}}
	
@inproceedings{max,
	Author = {M. Puckette and T. Apel and D. Zicarelli},
	Biburl = {http://www.bibsonomy.org/bibtex/28d2408ea0032faedecfcc1774b36eb3d/jamiebullock},
	Booktitle = {Proc. of the International Computer Music Conference.},
	Date-Added = {2008-12-01 11:44:53 +0100},
	Date-Modified = {2009-01-28 09:34:30 -0500},
	Description = {My Bibliography},
	Keywords = {ICMC, mythesis},
	Text = {{Puckette, M. S., T. Apel, and D. D. Zicarelli. 1998. Real-time audio analysis tools for Pd and MSP. }},
	Title = {{Real-time audio analysis tools for Pd and MSP}},
	Year = {{1998}},
	Bdsk-Url-1 = {%7Bciteseer.ist.psu.edu/puckette98realtime.html%7D}}


@inproceedings{pd,
	Author = {M. Puckette},
	Booktitle = {Proc. of the International Computer Music Conference.},
	Date-Added = {2008-12-01 11:44:53 +0100},
	Date-Modified = {2009-01-28 09:34:42 -0500},
	Title = {Pure Data},
	Year = 1996,
	Bdsk-Url-1 = {http://crca.ucsd.edu/~msp/Publications/icmf96.ps}}

@inbook{midishare,
	Author = {D. Fober, Y. Orlarey, S. Letz},
	Booktitle = {Informatique musicale : du signal au signe musical},
	Date-Added = {2008-12-01 11:44:53 +0100},
	Date-Modified = {2009-01-28 09:36:48 -0500},
	Pages = {175--194},
	Publisher = {Hermes},
	Read = {No},
	Title = {Midishare: une architecture logicielle pour la musique},
	Year = 2004,
	Bdsk-Url-1 = {http://www.grame.fr/Recherche/Publications/list/index.php?p=list.php?lang=fr&type=ARCH}}

@inbook{prism,
	Author = {M. Kwiatkowska and G. Norman and D. Parker and J. Sproston},
	Chapter = {Verification of Real-Time Probabilistic Systems},
	Date-Added = {2008-12-01 11:44:53 +0100},
	Date-Modified = {2009-01-22 10:51:23 -0500},
	Pages = {249-288},
	Publisher = {John Wiley \& Sons},
	Title = {Modeling and Verification of Real-Time Systems: Formalisms and Software Tools},
	Url = {http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195},
	Year = {2008},
	Bdsk-Url-1 = {http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195}}

%%% End... Mauricio 

@ARTICLE{AbadiBlanchetJACM7037,
  AUTHOR = {Mart{\'\i}n Abadi and Bruno Blanchet},
  TITLE = {Analyzing {S}ecurity {P}rotocols with {S}ecrecy {T}ypes and {L}ogic {P}rograms},
  JOURNAL = {Journal of the ACM},
  YEAR = 2005,
  VOLUME = 52,
  NUMBER = 1
  }
%  PAGES = {102--146},
 % MONTH = JAN


@misc{ boreale00symbolic,
  author = "M. Boreale",
  title = "Symbolic analysis of cryptographic protocols in the spi-calculus",
  text = "M. Boreale. Symbolic analysis of cryptographic protocols in the spi-calculus.
    Personal communication, 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/boreale00symbolic.html" }
@inproceedings{ boreale00process,
    author = "Michele Boreale and Rocco {De Nicola} and Rosario Pugliese",
    title = "Process Algebraic Analysis of Cryptographic Protocols",
    booktitle = "Proceedings of {FORTE}/{PSTV}'00: Formal Description Techniques ({FORTE} {XIII}) \& Protocol Specification, Testing, and Verification ({PSTV} {XX})",
    publisher = "Kluwer",
    year = "2000",
    url = "citeseer.ist.psu.edu/boreale00process.html" }

@ARTICLE{BlanchetPodelskiTCS04,
  AUTHOR = {Bruno Blanchet and Andreas Podelski},
  TITLE = {Verification of {C}ryptographic {P}rotocols: {T}agging {E}nforces {T}ermination},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2005},
  VOLUME = {333},
  NUMBER = {1-2},
  PAGES = {67--90},
  MONTH = MAR,
  NOTE = {Special issue FoSSaCS'03.}
}
@InBook{nielsons-semantic,
 author =       {Hanne Riis Nielson, Flemming Nielson},
 title =        {Semantics with Applications. A Formal Introduction},
 publisher =    {Jhon Wiley and Sons },
 year =         {1999},
}
@ARTICLE{re-write,
  AUTHOR = {Oded Goldreich},
  TITLE = {How to Write a Paper},
  YEAR = {March 4, 2004},
}
@ARTICLE{BlanchetIPL05,
  AUTHOR = {Bruno Blanchet},
  TITLE = {Security {P}rotocols: {F}rom {L}inear to {C}lassical {L}ogic by {A}bstract {I}nterpretation},
  JOURNAL = {Information Processing Letters},
  YEAR = 2005,
  VOLUME = 95,
  NUMBER = 5
}

@ARTICLE{AbadiBlanchetSCP04,
  AUTHOR = {Mart{\'\i}n Abadi and Bruno Blanchet},
  TITLE = {Computer-{A}ssisted {V}erification of a {P}rotocol for {C}ertified {E}mail},
  JOURNAL = {Science of Computer Programming},
  YEAR = 2005,
  VOLUME = 58,
  NUMBER = {1--2},
  PAGES = {3--27},
  MONTH = OCT,
  NOTE = {Special issue SAS'03.}
}

@misc{ fournet01mobile,
  author = "C. Fournet and M. Abadi",
  title = "Mobile Values, New Names, and Secure Communication",
  text = "C. Fournet and M. Abadi. Mobile Values, New Names, and Secure Communication
    . In Proceedings of the 28th ACM Symposium on Principles of Programming
    Languages (POPL'01), pages 104--115, January 2001.",
  year = "2001",
  url = "citeseer.ist.psu.edu/fournet01mobile.html" }

@misc{ fournet03hiding,
  author = "C. Fournet and M. Abadi",
  title = "Hiding names: Private authentication in the applied pi calculus",
  text = "Cedric Fournet and Martn Abadi. Hiding names: Private authentication in
    the applied pi calculus. In Proceedings of the International Symposium on
    Software Security (ISSS'02), volume 2906 of LNCS, pages 317--338, 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/fournet03hiding.html" }

@article{ dolev-pingpong,
	author="D. Dolev and  S. Even and R. M. Karp",
	title="On the Security of Ping-Pong Protocols",
	 journal="Information and Control",
	year="1982",
	volume="55",
	pages="57-68"
}

@inproceedings{compsym-fiore,
 author = {Marcelo Fiore and Mart\&\#237;n Abadi},
 title = {Computing Symbolic Models for Verifying Cryptographic Protocols},
 booktitle = {Proc. of  the 14th IEEE Workshop on Computer Security Foundations},
 year = {2001},
 publisher = {IEEE CS}
 }
 
 @article{ fages01linear,
    author = "Francois Fages and Paul Ruet and Sylvain Soliman",
    title = "Linear Concurrent Constraint Programming: Operational and Phase Semantics",
    journal = "Information and Computation",
    volume = "165",
    year = "2001"
    }
    
    @misc{ cervesato02comparison,
  author = "I. Cervesato and N. Durgin and P. Lincoln and J. Mitchell and A. Scedrov",
  title = "A comparison between strand spaces and multiset rewriting for security
    protocol analysis",
  text = "I. Cervesato, N. Durgin, P.D. Lincoln, J.C. Mitchell, and A. Scedrov. A
    comparison between strand spaces and multiset rewriting for security protocol
    analysis. In M. Okada et al., eds., Software Security  Theories and Systems.
    Mext-NSF-JSPS International Symposium, ISSS 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/article/cervesato02comparison.html" 
  }
  
 @misc{ meadows-what,
  author = "Catherine Meadows",
  title = "What Makes a Cryptographic Protocol Secure? The Evolution of Requirements
    Specification in Formal Cryptographic Protocol Analysis",
  url = "citeseer.ist.psu.edu/578366.html" }
  
  @INPROCEEDINGS{ThayerHerzogGuttman98,
  author = "F. Javier Thayer Fabrega and Jonathan Herzog and Joshua D. Guttman",
  TITLE = {Strand Spaces:  Why is a Security Protocol Correct?},
  BOOKTITLE = {1998 {IEEE} Symposium on Security and Privacy},
  YEAR = 1998,
  PUBLISHER = {{IEEE} CS}
}
@misc{ keith,
  author = "Keith Golden And Jeremy Frank",
  title = "Universal Quantification in a Constraint-Based Planner",
  url = "citeseer.ist.psu.edu/614225.html" }
  

 @article{iclp03:valencia,
  author    = {Frank D. Valencia},
  title     = {Decidability of infinite-state timed CCP processes and first-order
               LTL},
  journal   = {Theor. Comput. Sci.},
  volume    = {330},
  number    = {3},
  year      = {2005}
}
 
 
 @inproceedings{semantic-ccp,
 author = {Vijay A. Saraswat and Martin Rinard and Prakash Panangaden},
 title = {The semantic foundations of concurrent constraint programming},
 booktitle = {Proc. of POPL '91},
 year = {1991},
 location = {USA},
publisher = {ACM Press},
 }

@misc{ huima99efficient,
  author = "A. Huima",
  title = "Efficient infinite-state analysis of security protocols",
  text = "A. Huima. Efficient infinite-state analysis of security protocols. presented
    at FLOC'99 Workshop on Formal Methods and Security Protocols, July 1999.",
  year = "1999",
  url = "citeseer.ist.psu.edu/huima99efficient.html" }
  
  @article{ amadio00reachability,
    author = "Roberto M. Amadio and Denis Lugiez",
    title = "On the Reachability Problem in Cryptographic Protocols",
    journal = "Lecture Notes in Computer Science",
    volume = "1877",
    pages = "380+",
    year = "2000",
    url = "citeseer.ist.psu.edu/amadio00reachability.html" }
    
    
    @article{amadioreachability,
 author = {Roberto M. Amadio and Denis Lugiez and Vincent Vanack\`{e}re},
 title = {On the symbolic reduction of processes with cryptographic functions},
 journal = {Theor. Comput. Sci.},
 volume = {290},
 number = {1},
 year = {2003},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }
    
    @misc{avispa-hlpsl,
  author = "The Avispa Team",
  title = "HLPSL Turial. A beginner's Guide to Modelling And Analysing Internet Security Protocols",
  year = "2006" }
  
  @ InProceedings{ boreale01symbolic,
    author = "Michele Boreale",
    title = "Symbolic Trace Analysis of Cryptographic Protocols",
    booktitle = "Proc. of ICALP'01",
   publisher = {LNCS},
    year = "2001" 
    }
    
    @InProceedings{tcc-lics94,
  title =        "Foundations of Timed Concurrent Constraint Programming",
  author =       "Vijay Saraswat and Radha Jagadeesan and Vineet Gupta",
  booktitle =    "Proc. of LICS'94",
  publisher = "IEEE CS",
  year =         "1994"
}
 @misc{BlanchetAbadiFournetLICS05,
  author = "Bruno Blanchet and Martin Abadi and Cedric Fournet",
  title = "Automated Verification of Selected Equivalences for Security Protocols",
  year = "2005" }

@inproceedings{cham,
 author = {Gerard Berry and Gerard Boudol},
 title = {The chemical abstract machine},
 booktitle = {POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1990},
 publisher = {ACM Press},
 address = {USA},
 }  
 @inproceedings{ song99athena,
    author = "Dawn Xiaodong Song",
    title = "Athena: {A} New Efficient Automatic Checker for Security Protocol Analysis",
    booktitle = "{PCSFW}: Proc. of The 12th Computer Security Foundations Workshop",
    publisher = "IEEE CS",
    year = "1999",
    url = "citeseer.ist.psu.edu/211930.html" }
  
@article{ paulson98inductive,
    author = "Lawrence C. Paulson",
    title = "The Inductive Approach to Verifying Cryptographic Protocols",
    journal = "Journal of Computer Security",
    volume = "6",
    pages = "85--128",
    year = "1998",
    url = "citeseer.ist.psu.edu/article/paulson98inductive.html" }

@inproceedings{ lowe97hierarchy,
    author = "Lowe",
    title = "A Hierarchy of Authentication Specifications",
    booktitle = "{PCSFW}: Proceedings of The 10th Computer Security Foundations Workshop",
    publisher = "IEEE CS",
    year = "1997",
    url = "citeseer.ist.psu.edu/article/lowe97hierarchy.html" }
    
    @inproceedings{ lowe98towards,
    author = "G. Lowe",
    title = "Towards a Completeness Result for Model Checking of Security Protocols",
    booktitle = "{PCSFW}: Proceedings of The 11th Computer Security Foundations Workshop",
    publisher = "IEEE CS",
    year = "1998",
    url = "citeseer.ist.psu.edu/lowe99towards.html" }
    
    @misc{ bella97using,
  author = "G. Bella and L. Paulson",
  title = "Using Isabelle to prove properties of the Kerberos authentication system",
  text = "G. Bella and L.C. Paulson. Using Isabelle to prove properties of the Kerberos
    authentication system. In H. Orman and C. Meadows, editors, Workshop on
    Design and Formal Verification of Security Protocols. DIMACS, 1997.",
  year = "1997",
  url = "citeseer.ist.psu.edu/bella97using.html" }
  
  
@INPROCEEDINGS{BlanchetPPDP03,
  AUTHOR = {Bruno Blanchet},
  TITLE = {Automatic {V}erification of {C}ryptographic {P}rotocols:
{A} {L}ogic {P}rogramming {A}pproach (invited talk)},
  BOOKTITLE = {5th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03)},
  PAGES = {1--3},
  YEAR = {2003},
  ADDRESS = {Uppsala, Sweden},
  MONTH = AUG,
  PUBLISHER = {ACM}
}
  @inproceedings{ apt97from,
    author = "Krzysztof Apt",
    title = "{From Chaotic Iteration to Constraint Propagation}",
    booktitle = "Proceedings of 24th International Colloquium on Automata, Languages and Programming, {ICALP}'97",
    volume = "1256",
    publisher = "Springer-Verlag",
    pages = "36--55",
    year = "1997",
    url = "citeseer.ist.psu.edu/apt97from.html" }
  
  @misc{ clarke98using,
  author = "E. Clarke and S. Jha and W. Marrero",
  title = "Using state space exploration and a natural deduction style message derivation
    engine to verify security protocols",
  text = "E. M. Clarke, S. Jha, and W. Marrero. Using state space exploration and
    a natural deduction style message derivation engine to verify security protocols.
    In Proceedings of the IFIP Working Conference on Programming Concepts and
    Methods (PROCOMET), 1998.",
  year = "1998",
  url = "citeseer.ist.psu.edu/clarke98using.html" }
  
  @inproceedings{ mitchellautomated,
    author = "J. C. Mitchell and M. Mitchell and U. Stern",
    title = "Automated Analysis of Cryptographic Protocols Using Mur$\phi$",
	pages = "141--153",
    url = "citeseer.ist.psu.edu/mitchell97automated.html" }
    
    @misc{ soliman-precise,
  author = "Sylvain Soliman",
  title = "A Precise Logical Semantics of Concurrent Constraint Programs",
  url = "citeseer.ist.psu.edu/525693.html" }
  
  @Article{         milner.parrow.ea:calculus-mobile,
  author        = "R. Milner, J. Parrow and D. Walker",
  title         = "A Calculus of Mobile Processes, {P}arts {I} and {II}",
  journal       = jic,
  year          = "1992",
  volume        = "100",
  month         = sep
}

@inproceedings{crazzolara-spl,
 author = {Federico Crazzolara and Glynn Winskel},
 title = {Events in security protocols},
 booktitle = {Proc. of CCS '01},
 year = {2001},
 publisher = {ACM Press}
 }
@inproceedings{ abadi97calculus, 
    author = "Mart{\'\i}n Abadi and Andrew D. Gordon",
    title = "A Calculus for Cryptographic Protocols: The Spi Calculus",
    booktitle = "Fourth {ACM} Conference on Computer and Communications Security",
    publisher = "{ACM} Press",
    year = "1997",
    url = "citeseer.ist.psu.edu/abadi98calculus.html" }
    
    @inproceedings{ lowe95attack,
    author = "Gavin Lowe",
    title = "Breaking and fixing the {N}eedham-{S}chroeder public-key protocol using {FDR}",
    booktitle = "Proc. of TACAS'96",
    publisher = "LNCS",
    year = "1996",
    url = "citeseer.ist.psu.edu/lowe96breaking.html" }
    
 @article{nsprotocol,
 author = {Roger M. Needham and Michael D. Schroeder},
 title = {Using encryption for authentication in large networks of computers},
 journal = {Commun. ACM},
 volume = {21},
 number = {12},
 year = {1978},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@book{ozbook,
 author = {Peter Van Roy and Seif Haridi},
 title = {Concepts, Techniques, and Models of Computer Programming},
 publisher = {MIT Press},
 year = {2004}
 }
 
 @Article{tdcc-jsc,
  author =       "V.A.Saraswat and R.Jagadeesan and V.Gupta",
  title =        "Timed Default Concurrent Constraint Programming",
  journal =      "Journal of Symbolic Computation",
  volume =       "22",
  number =       "5--6",
  year =         "1996",
}

@Article{BeGo92,
  author =       "G. Berry and G. Gonthier",
  year =         "1992",
  OPTmonth =        nov,
  journal =      "Science of Computer Programming",
  volume =       "19",
  number =       "2",
  pages =        "87--152",
  title =        "The {{\sc Esterel}} Synchronous Programming Language:
                 Design, Semantics, Implementation",
}

@article{NPV02,
  author={M. Nielsen and C. Palamidessi and Frank D. Valencia},
  title={Temporal Concurrent Constraint Programming: 
         Denotation, Logic and Applications},
   journal={Nordic Journal of Computing},
   volume={9},
    number={1},
    year={2002}
    }

@Article{deBoer:97:TOPLAS,
  author = {F. S. de~Boer and M. Gabbrielli and E.~Marchiori 
                          and C. Palamidessi},
  title = {Proving Concurrent constraint Programs Correct},
  Journal =    {ACM Transactions on Programming Languages and Systems},
  year = 	 1997,
  volume =	 19,
  number =	 5
}

@Book{mp91,
  author =       "Z. Manna and A. Pnueli",
  publisher =    "Springer-Verlag",
  title =        "The Temporal Logic of Reactive and Concurrent Systems:
                 Specification",
  year =         "1991",
}
@book{minsky,
 author = {Marvin L. Minsky},
 title = {Computation: finite and infinite machines},
 year = {1967},
 isbn = {0-13-165563-9},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
 }

@Article{dolev-yao,
  author = {D. Dolev and A. C. Yao},
  title = {On the security of public key 
protocols},
  Journal =    {IEEE Transactions on Information Theory},
  year = 	 1983,
  volume =	29,
  number =	12
}

@misc{hodkinson00decidable,
  author = "I. Hodkinson and F. Wolter and M. Zakharyaschev",
  title = "Decidable fragments of first-order temporal logics",
  text = "I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order
    temporal logics. Annals of Pure and Applied Logic, 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/hodkinson99decidable.html" }
  

@article{BellaB04,
  author    = {Giampaolo Bella and
               Stefano Bistarelli},
  title     = {Soft Constraint Programming to Analysing Security Protocols},
  journal   = {TPLP},
  volume    = {4},
  number    = {5-6},
  year      = {2004},
  pages     = {545-572},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ InProceedings{bella01soft,
    author = "Giampaolo Bella and Stefano Bistarelli",
    title = "Soft Constraints for Security Protocol Analysis: Confidentiality",
    booktitle =    "Proc. of PADL'01",
    publisher = {LNCS},
    year = "2001"
    }
  

@misc{ boreale-experimenting,
  author = "Michele Boreale and Maria Grazia Buscemi",
  title = "Experimenting with STA, a tool for automatic analysis of security protocols",
  url = "citeseer.ist.psu.edu/486415.html" }
  
  @book{cp-book,
 author = {Vijay A. Saraswat },
 title = {Concurrent Constraint Programming},
 publisher = {MIT Press},
 year = {1993}
 }

  @book{pi-book,
 author = {Robin Milner},
 title = {Communicating and Mobile Systems: the Pi-Calculus},
 publisher = {Cambridge University Press},
 year = {1999}
 }


@misc{Valencia-thesis,
  author = "F. Valencia",
  title = "Temporal Concurrent Constraint Programming. {PhD} thesis, {BRICS} ",
  year = "2003"
}


@article{nicola-symbolic,
  AUTHOR = {Michele Boreale and  Rocco De Nicola},
  TITLE = {A Symbolic Semantics for the pi-Calculus},
  JOURNAL = {Information and Computation},
  YEAR = 1996,
  VOLUME = 126,
  }
  
 @inproceedings{ueda06,
title = "{LMNtal} as a Unifying Declarative Language: Live Demonstration",
author = {Kazunori Ueda and Norio Kato and Koji Hara and Ken Mizuno},
booktitle = {Proc. of ICLP 06},
publisher = {LNCS},
year = {2006}
} 
  
  @article{ ueda01resourcepassing,
    author = "Kazunori Ueda",
    title = "Resource-Passing Concurrent Programming",
    journal = "LCS",
    volume = "2215",
    year = "2001"
}
  @inproceedings{ laneve92mobility,
    author = "Cosimo Laneve and Ugo Montanari",
    title = "Mobility in the {CC}-Paradigm",
    booktitle = "Mathematical Foundations of Computer Science",
    year = "1992"
  }

@InProceedings{Valencia-lics,
  title =        "On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus",
  author =       "Catuscia  Palamidessi and  Vijay Saraswat and Frank Valencia and Bjorn Victor",
  booktitle =    "Proc. of LICS'06",
  publisher = "IEEE CS",
  year =         "2006"
}


@inproceedings{hcc-bio,
 author = {Alexander Bockmayr and Arnaud Courtois},
 title = {Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems},
 booktitle = {Proc. of ICLP '02},
 publisher = {LNCS},
 year = {2002}
 }
 

@inproceedings{Olarte:08:SAC,
       Author = {Carlos Olarte and Frank D. Valencia},
       Booktitle = {Proc. of SAC 2008},
       Publisher = {ACM},
       Title = {Universal Concurrent Constraint Programing:  Symbolic
Semantics and Applications to Security},
       Year = 2008
}

@article{Merz92,
  author    = {Stephan Merz},
  title     = {Decidability and incompleteness results for first-order
               temporal logics of linear time},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {2},
  number    = {2},
  year      = {1992}
}


@techreport{San98-TRold,
   author = {Sangiorgi, D.},
   title = {Interpreting functions as pi-calculus processes: a tutorial},
   institution = {{INRIA} Sophia Antipolis},
   number = {{RR}-3470},
   year = {1998}
}

@article{SzalasH88,
  author    = {Andrzej Szalas and Leszek Holenderski},
  title     = {Incompleteness of First-Order Temporal Logic with Until},
  journal   = {Theor. Comput. Sci.},
  volume    = {57},
  year      = {1988}
}

@article{HodkinsonWZ00,
  author    = {Ian M. Hodkinson and Frank Wolter and Michael Zakharyaschev},
  title     = {Decidable fragment of first-order temporal logics},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {106},
  number    = {1-3},
  year      = {2000}
}

@article{DegtyarevFL02,
  author    = {Anatoli Degtyarev and Michael Fisher and Alexei Lisitsa},
  title     = {Equality and Monodic First-Order Temporal Logic},
  journal   = {Studia Logica},
  volume    = {72},
  number    = {2},
  year      = {2002}
}

@article{AlpuenteGV07,
  author    = {Mar\'{\i}a Alpuente and Bernhard Gramlich and Alicia Villanueva},
  title     = {A Framework for Timed Concurrent Constraint Programming with External Functions},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {188},
  year      = {2007}
}

@InProceedings{Valencia:tccexp,
  title =        "On the Expressive Power of Temporal Concurrent Constraint Programming Languages",
  author =       "Mogens Nielsen and Catuscia  Palamidessi and Frank Valencia",
  booktitle =    "Proc. of PPDP'02",
  publisher = "IEEE Computer Society",
  year =         "2002"
}

@techreport{saraswat92higherorder,
    author = "Vijay Saraswat and Patrick Lincoln",
    title = "{Higher-order Linear Concurrent Constraint Programming}",
    year = "1992",
    url = "citeseer.ist.psu.edu/saraswat92higherorder.html" }
    
@InProceedings{Buchi:62,
author = "J.~R. Buchi",
title = "On a decision method in restricted second order arithmetic",
booktitle = "Proc. of Int. Conf. on Logic, Methodology, and Philosophy of  Science",
year = 1962
}

@book{Borger01,
 author = {E. Borger and E.  Gradel and Y. Gurevich},
 title = {The Classical Decision Problem},
 publisher = {Springer},
 year = {2001}
 }

@article{Abadi90,
  author    = {Martin Abadi},
  title     = {Corrigendum: The Power of Temporal Proofs},
  journal   = {Theor. Comput. Sci.},
  volume    = {70},
  number    = {2},
  year      = {1990}
}


@inproceedings{crazzolarapetri,
author = {Federico Crazzolara and Glynn Winskel},
title = {Petri nets in cryptographic protocols},
booktitle = {IPDPS '01: Proceedings of the 15th International Parallel \& Distributed Processing Symposium},
year = {2001},
publisher = {IEEE CS},
address = {USA}
}
    
    @article{Palamidessi-complementation,
 author = {Agostino Cortesi and Gilberto Fil\'{e} and Francesco Ranzato and Roberto Giacobazzi and Catuscia Palamidessi},
 title = {Complementation in abstract interpretation},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {19},
 number = {1},
 year = {1997},
 publisher = {ACM}
 }
 @article{ giacobazzi96weak,
    author = "R. Giacobazzi and C. Palamidessi and F. Ranzato",
    title = "Weak {R}elative {P}seudo-{C}omplements of {C}losure {O}perators",
    journal = "Algebra Universalis",
    year = "1996"
}
    
    @article{Gelernter85,
 author = {David Gelernter},
 title = {Generative communication in Linda},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {7},
 number = {1},
 year = {1985},
 publisher = {ACM},
 address = {USA},
 }
 
 @article{Denning-Sacco,
 author = {Dorothy E. Denning and Giovanni Maria Sacco},
 title = {Timestamps in key distribution protocols},
 journal = {Commun. ACM},
 volume = {24},
 number = {8},
 year = {1981},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
  @article{Blanchet-linear,
 author = {Bruno Blanchet},
 title = {Security protocols: from linear to classical logic by abstract interpretation},
 journal = {Information Processing Letters },
 volume = {95},
 number = {5},
 year = {2005},
 publisher = {Elsevier}
 }

@misc{ boreale01framework,
  author = "M. Boreale and M. Buscemi",
  title = "A framework for the analysis of security protocols",
  note = "An abstract appears in Proc. of {WSDAAL} 2001, Como, Italy.",
  year = "2001",
  url = "citeseer.ist.psu.edu/boreale01framework.html" }
  
  
@inproceedings{LopezPPRV06,
  author    = {Hugo A. L{\'o}pez and
               Catuscia Palamidessi and
               Jorge Andr{\'e}s P{\'e}rez and
               Camilo Rueda and
               Frank D. Valencia},
  title     = {A Declarative Framework for Security: Secure Concurrent
               Constraint Programming},
  booktitle = {Proc. of ICLP 06},
  publisher = {LNCS},
  year      = {2006}
}

 @article{rueda02,
 author = {C. Rueda and F. Valencia},
 title = {On validity in modelization of musical problems by CCP},
 journal = {Soft Comput.},
 volume = {8},
 number = {9},
 year = {2004},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg}
 }
 
@inproceedings{rueda05,
 author = {Camilo Rueda and Frank D. Valencia},
 title = {A temporal Concurrent Constraint Calculus as an Audio processing framework},
 booktitle = {Proc. of SMC 05},
 year = {2005},
 }


@article{ rueda01,
        author = "C. Rueda and G. Alvarez and L. Quesada and G. Tamura and F. Valencia and J. Diaz and G. Assayag ",
        title = "Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language",
        journal = "Constraints",
        volume = "6",
        number = "1",
        year = "2001"
        }
        
@inproceedings{agon98,
 author = { C. Agon and  G. Assayag and O. Delerue and  C. Rueda },
 title = {Objects, Time, and Constraints in OpenMusic},
 booktitle = {ICMC 98},
 year = {1998},
 }
        
@inproceedings{assayag06,
 author = {G. Assayag and  S. Dubnov and C. Rueda},
 title = {A Concurrent Constraints Factor Oracle Model for Music Improvisation},
 booktitle = {Proc. of CLEI 06},
 year = {2006},
 }

@article{bonnet98,
        author = {A. Bonnet and C. Rueda},
        title = {Situation: Un Langage Visuel Bas\'{e} sur les contraintes pour la Composition Musical},
        journal = {Recherches et applications en informatique musicale},
        editor = {M. Chemillier and F. Pachet},
        year= {1998}
}

  @inproceedings{jagadeesan-timed,
  author    = {Radha Jagadeesan and
               Will Marrero and
               Corin Pitcher and
               Vijay A. Saraswat},
  title     = {Timed constraint programming: a declarative approach to
               usage control},
  booktitle = {Proc. of PPDP 05},
   publisher = {ACM},
  year      = {2005}
}
  
  @article{gutierrez07,
        author = {J. Guti\'{e}rrez and J. A. P\'{e}rez and C. Rueda and F. Valencia},
        title = {Timed Concurrent Constraint Programming for Analysing Biological Systems},
        journal = {Electron. Notes Theor. Comput. Sci.},
        volume = {171},
        number = {2},
        year = {2007},
        issn = {1571-0661},
        publisher = {Elsevier Science Publishers B. V.},
        address = {Amsterdam, The Netherlands, The Netherlands}
        }

  
  
  @inproceedings{bockmayr02using,
  author    = {Alexander Bockmayr and
               Arnaud Courtois},
  title     = {Using Hybrid Concurrent Constraint Programming to Model
               Dynamic Biological Systems},
  booktitle = {Proc. of ICLP 02},
  publisher = {LNCS},
  year      = {2002}
  }
  
  
@article{bortolussi,
        author = {Luca Bortolussi  and Alberto Policriti},
        title = {Modeling Biological Systems in Stochastic Concurrent Constraint Programming},
        journal = {Constraints},
        volume = {13},
        number = {1-2},
        year = {2008},
        publisher = {Springer},
        address = {US}
}

@article{Valencia05,
  author    = {Frank D. Valencia},
  title     = {Decidability of infinite-state {T}imed {C}{C}{P} processes and {f}irst-{o}rder
               {L}{T}{L}},
  journal   = {Theor. Comput. Sci.},
  volume    = {330},
  number    = {3},
  year      = {2005},
  pages     = {577-607},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.10.009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Olarte06,
        author = {Carlos Olarte and Camilo Rueda},
        title = {A stochastic concurrent constraint based framework to model and
  verify biological systems},
        journal = {CLEI electronic journal},
        volume = {9},
        number = {2},
        year = {2008}
}

@inproceedings{gutierrez06,
 author = {Alejandro Arbelaez, Julian Gutierrez, Carlos Olarte and Camilo Rueda},
 title = {A Generic Framework to Model, Simulate and Verify Genetic Regulatory Network},
 booktitle = {Proc. of CLEI 06},
 year = {2006},
 }
 
 @techreport{ccm-machines,
  title =        {Euler: an applied lcc language for graph rewriting},
  author =       {Vijay Saraswat},
  institution= {IBM {TJ} {W}atson {R}esearch {C}enter},
  month =        mar,
  year =         "2004"
}

@misc{ saraswat04,
  author = "Vijay Saraswat",
  title = "The Emergence of Systems Biology",
  book = "Talk in NJ Programming Languages and Systems Seminar",
  year = "2004"}
  
  
@inproceedings{SaraswatJ05,
  author    = {Vijay A. Saraswat and
               Radha Jagadeesan},
  title     = {Concurrent Clustered Programming},
  booktitle = {Proc. of CONCUR 05},
  year      = {2005}
}

 @InProceedings{munoz04,
   author =    {Maria del Pilar Mu\~nos and Andr\'es Ren\'e Hurtado},
   title =      {Programming robotic devices with a timed concurrent constraint language},
   booktitle =  {CP 2004},
   series =     {LNCS},
   year =       2004
}




@BOOK{duchierLang,
   title  =  {Concurrent    Constraint    Programming    in    Oz    for    Natural    Language    Processing},
   author  =  {Denys  Duchier  and  Claire  Gardent  and  Joachim  Niehren},
      publisher  =  {Programming    Systems    Lab},
      year  =  {1998},
   note  =  {Available    at    \url{http://www.ps.uni-sb.de/~niehren/Web/Vorlesungen/Oz-NL-SS01/BookHomePage.html}}
   }
  
  @incollection{ smolka95:oz-programming:inc,
	author={Gert Smolka},
	title={The Oz Programming Model},
	booktitle={Computer Science Today: Recent Trends and Developments},
	publisher={Springer-Verlag},
	year={1995},
	address={Berlin},
	series={LNCS},
	volume={1000}
 }
 
 @article{ smolka98concurrent,
    author = "Gert Smolka",
    title = "Concurrent Constraint Programming Based on Functional Programming",
    journal = "Lecture Notes in Computer Science",
    volume = "1381",
    year = "1998"
    }
    
@ARTICLE{Olarte07,
  AUTHOR = {Eric Monfroy and Carlos Olarte and Camilo Rueda},
  TITLE = {Process Calculi for Adaptive Enumeration  Strategies in Constraint Programming},
  JOURNAL = {Research in Computer Science},
  YEAR = 2007
  }


  
@inproceedings{saraswat03jcc,
  author    = {Vijay A. Saraswat and
               Radha Jagadeesan and
               Vineet Gupta},
  title     = {jcc: Integrating Timed Default Concurrent Constraint Programming
               into Java},
  booktitle = {Proc. of EPIA},
  year      = {2003}
}
  
  
  
@inproceedings{FagesS08,
  author    = {Fran\c{c}ois Fages and Sylvain Soliman},
  title     = {Model Revision from Temporal Logic Properties in Computational  Systems Biology},
  booktitle = {Probabilistic Inductive Logic Programming},
  year      = {2008}
 }

 @inproceedings{ gualandi-concurrent,
  author = "Stefano Gualandi and Bruno Tranchero",
  title = "Concurrent Constraint Programming-Based Path Planning for Uninhabited Air Vehicles",
  booktitle = "SPIE Defense and Security Symposium",
  year= 2004
  }


  @inproceedings{Neugebauer04,
  author    = "Moritz Neugebauer",
  title     = "Concurrent Constraint Programming and Tree-Based Acoustic Modelling",
  booktitle = "Logic Programming",
  publisher = {LNCS},
  year      = {2004}
 }

@ARTICLE{Tong98,
  AUTHOR = {Tong B.-M. and Leung H.-F.},
  TITLE = { Data-parallel concurrent constraint programming},
  JOURNAL = {Journal of Logic Programming},
  VOLUME = 35,
  NUMBER = 2,
  YEAR = 1998
  }
  
  @inproceedings{newpaperpath
,author=" Vineet Gupta and Vijay Saraswat and Peter Struss"
,title="A model of a photocopier paper path"
,booktitle=" Proc. of IJCAI"
,year=" 1995"
}

  
    
@inproceedings{ iwasaki95modeling,
    author = "Yumi Iwasaki and Adam Farquhar and Vijay A. Saraswat and Daniel G. Bobrow and Vineet Gupta",
    title = "Modeling Time in Hybrid Systems: How Fast Is ``Instantaneous''?",
    booktitle = "{Proc. of IJCAI}",
    year = "1995"
    }
    
    
    @article{ schachter98linear,
    author = "Vincent Schachter",
    title = "Linear Concurrent Constraint Programming Over Reals",
    journal = "Lecture Notes in Computer Science",
    volume = "1520",
    year = "1998"
    }
    

@ inproceedings{Olarte:08:PPDP,
       Author = {Carlos Olarte and Frank D. Valencia},
       title = {The Expressivity of Universal Timed {C}{C}{P}: Undecidability of Monadic
{F}{L}{T}{L}  and Closure Operators for Security},
       booktitle = {Proc. of PPDP 08},
       Year = 2008
}      

@inproceedings{LV07,
title = {{Using tccp for the Specification and Verification of Communication Protocols}},
author = {Lescaylle, A. and Villanueva, A.},
booktitle = {Proc. of WFLP 07},
year = 2007
}

@inproceedings{PaluDF04,
  author    = {Alessandro Dal Pal{\`u} and
               Agostino Dovier and
               Federico Fogolari},
  title     = {Protein Folding Simulation in {C}{C}{P}},
  booktitle = {Proc. of ICLP 04},
  publisher = {LNCS},
  year      = {2004}
}

@ inproceedings{ duecker97generic,
  author = "M. Duecker and G. Lehrenfeld and W. Mueller and C. Tahedl",
  title = "A Generic System for Interactive Real--Time Animation",
  booktitle = " Proc. of ECBS 97",
  year = "1997"
}

@inproceedings{Saraswat-janus,
 author = {Vijay A. Saraswat and Ken Kahn and Jacob Levy},
 title = {Janus: a step towards distributed constraint programming},
 booktitle = {Proc. of the 1990 North American conference on Logic programming},
 year = {1990},
 publisher = {MIT Press},
 address = {USA},
 }
 
 @inproceedings{CarlsonHJ94,
  author    = {Bj{\"o}rn Carlson and
               Seif Haridi and
               Sverker Janson},
  title     = {AKL(FD) - A Concurrent Language for FD Programming},
  booktitle = {Proc. of SLP},
  year      = {1994}
}

 @inproceedings{Wong95,
  author    = "Hao-Chi Wong and  Markus Fromherz and  Vineet Gupta and Vijay Saraswat",
  title     = " Control-based programming of electro-mechanical controllers",
  booktitle = {Proc. of the IJCAI Workshop on Executable Temporal Logics},
  year      = {1995}
}

 @inproceedings{gupta95modeling,
  author    = "Vineet Gupta, Peter Struss",
  title     = "Modeling a Copier Paper Path: A Case Study in Modeling Transportation Processes",
  booktitle = {Proc. of the Ninth Qualitative Reasoning Workshop},
  year      = {1995}
}

@inproceedings{FromherzS95,
  author    = {Markus P. J. Fromherz and
               Vijay A. Saraswat},
  title     = {Model-Based Computing: Using Concurrent Constraint Programming
               for Modeling and Model Compilation},
  booktitle = {Proc. of CP 95},
  year      = {1995}
}

@inproceedings{Flavio98,
  author    = {Flavio M. Varejao and  Markus P.J. Fromherz and  Ana C. Bicharra Garcia and Clarisse S. de Souza},
  title     = {An Integrated Framework for the Specification and Design of Reprographic Machines},
  booktitle = {Proc. of AIENG 98},
  year      = {1998}
}

@inproceedings{Gupta96a,
 author = {Vineet Gupta and Radha Jagadeesan and Vijay Saraswat},
 title = {Hybrid cc, hybrid automata and program verification (extended abstract)},
 booktitle = {Proc. of the DIMACS/SYCON workshop on Hybrid systems III : verification and control},
 year = {1996},
 publisher = {Springer-Verlag},
 address = { USA},
 }
 
 @inproceedings{ fromherz97cc,
  author = "M. Fromherz and V. Gupta and V. Saraswat",
  title = "CC -- a generic framework for domain specific languages",
  booktitle = "Proc. of POPL Workshop on Domain Specific Languages",
  year = "1997" }
  
  @article{Wahls00,
 author = {Tim Wahls and Gary T. Leavens and Albert L. Baker},
 title = {Executing Formal Specifications with Concurrent Constraint Programming},
 journal = {Automated Software Engg.},
 volume = {7},
 number = {4},
 year = {2000},
 publisher = {Kluwer Academic Publishers}
 }
 
 @article{shapiro90,
 author = {Ehud Shapiro},
 title = {The family of concurrent logic programming languages},
 journal = {ACM Comput. Surv.},
 volume = {21},
 number = {3},
 publisher = {ACM},
 address = {USA},
 year = {1989}
 }
 
 @inproceedings{JaffarL87,
  author    = {Joxan Jaffar and
               Jean-Louis Lassez},
  title     = {Constraint Logic Programming},
  booktitle = {Proc. of POPL 87},
  year      = {1987}
}

@inproceedings{Smolka94,
  author    = {Gert Smolka},
  title     = {A Foundation for Higher-order Concurrent Constraint Programming},
  booktitle = {In Proc. of CCL 94},
  year      = {1994}
  }
  
  @article{BoerGM00,
  author    = {Frank S. de Boer and
               Maurizio Gabbrielli and
               Maria Chiara Meo},
  title     = {A Timed Concurrent Constraint Language},
  journal   = {Inf. Comput.},
  volume    = {161},
  number    = {1},
  year      = {2000}
}

@techreport{Milner92,
   author = {R. Milner},
   title = {A finite delay operator in Synchronous CCS},
   institution = {University of Edinburgh},
   number = {{CSR}-116-82},
   year = {1992}
}

@Article{hcc-foundations,
  title =        "Computing with continuous change",
  author =       " Vineet Gupta and Radha Jagadeesan and Vijay Saraswat",
  pages =        "3--49",
  journal =      "Science of Computer Programming",
  month =        jan,
  year =         "1998",
  volume =       "30",
  number =       "1--2"
}

@article{HentenryckSD98,
  author    = {Pascal Van Hentenryck and
               Vijay A. Saraswat and
               Yves Deville},
  title     = {Design, Implementation, and Evaluation of the Constraint
               Language cc(FD)},
  journal   = {J. Log. Program.},
  volume    = {37},
  number    = {1-3},
  year      = {1998}
}

@inproceedings{pcc,
 author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat},
 title = {Probabilistic Concurrent Constraint Programming},
 booktitle = {Proc. of CONCUR 97},
 year = {1997},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }
 
 @article{Eveillard04,
 author = {Damien Eveillard and Delphine Ropers and Hidde de Jong and Christiane Branlant and Alexander Bockmayr},
 title = {A multi-scale constraint programming model of alternative splicing regulation},
 journal = {Theor. Comput. Sci.},
 volume = {325},
 number = {1},
 year = {2004},
 publisher = {Elsevier Science Publishers Ltd.}
 }
 
 @article{ vanhentenryck98design,
    author = "Pascal Van Hentenryck and Vijay A. Saraswat and Yves Deville",
    title = "Design, Implementation, and Evaluation of the Constraint Language cc({FD})",
    journal = "Journal of Logic Programming",
    volume = "37",
    number = "1-3",
    year = "1998"
    }
    
    @inproceedings{ haridi93concurrent,
    author = "Seif Haridi and Sverker Janson and Johan Montelius and Torkel Franzen and Per Brand and Kent Boortz and Bj{\"{o}}rn Danielsson and Bj{\"{o}}rn Carlson and Torbj{\"{o}} Keisu and Dan Sahlin and Thomas Sj{\"{o}}land",
    title = "Concurrent Constraint Programming at {SICS} with the {Andorra Kernel Language} (Extended Abstract)",
    booktitle = "{PPCP'93}",
    address = "Providence {RI}",
    year = "1993"
}

@techreport{perez08,
   author = {Jorge A. Perez and Camilo Rueda},
   title = {Towards a Constraint-Based Framework for the  Analysis of
Probabilistic, Reactive Systems},
 note  =  {Available    at    \url{http://www.cs.unibo.it/$\sim$perez}},
   year = {2008}
}


@article{PerezALP,
  author = "Alejandro Arbelaez and  Julian Gutierrez and Jorge  A. Perez",
  title = " Timed Concurrent Constraint Programming in Systems Biology",
  journal = "Newsletter of the ALP ",
  volume = "19",
  number = "4",
  year = "2006" }
  
  
  @inproceedings{ Santini08,
    author = "Stefano Bistarelli and Maurizio Gabbrielli and Maria Chiara Meo and 
Francesco Santini",
    title = "Timed Soft Concurrent Constraint Programs",
    booktitle = "{Procs. of COORDINATION}",
    year = "2008"
}

@Book{bistabook,
  author = 	 "Stefano Bistarelli",
  title = 	 {{Semirings for Soft Constraint Solving and Programming}},
  publisher = 	 {Springer-Verlag},
  year = 	 {2004},
  series = 	 {{LNCS}},
  volume =       {2962}
}

@inproceedings{ gupta96truly, 
    author = "Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat",
    title = "Truly Concurrent Constraint Programming",
    booktitle = "International Conference on Concurrency Theory",
    pages = "373-388",
    year = "1996",
    url = "citeseer.ist.psu.edu/gupta96truly.html" }

@inproceedings{ montanari94concurrent,
  author = "U. Montanari and F. Rossi",
  title = "A concurrent semantics for concurrent constraint programming via contextual
    nets",
   booktitle = " In Proc.of PPCP93",
  year = "1994"
  }
  
  @inproceedings{Cardelli04,
  author    = {Luca Cardelli},
  title     = {Brane Calculi},
  booktitle = {In Proc. of CMSB},
  year      = {2004}
}



@inproceedings{BuscemiM07,
  author    = {Maria Grazia Buscemi and  Ugo Montanari},
  title     = {CC-Pi: A Constraint-Based Language for Specifying Service
               Level Agreements},
  booktitle = {In Proc. of ESOP},
  year      = {2007}
}
@inproceedings{GuptaJS96,
  author    = {Vineet Gupta and
               Radha Jagadeesan and
               Vijay A. Saraswat},
  title     = {Models for Concurrent Constraint Programming},
  booktitle = {In Proc. of CONCUR; 96},
  year      = {1996}
}

@inproceedings{PalamidessiLCC,
author= "E. Best and  F.S. de Boer and  C. Palamidessi",
title= "Concurrent constraint programming with information removal",
booktitle = "Proc. of the 1st  Workshop on Concurrent Constraint Programming", 
year = 1995}


@article{Tini99,
  author    = {Simone Tini},
  title     = {On The Expressiveness of Timed Concurrent Constraint Programming},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {27},
  year      = {1999},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/51/23/show/Products/notes/index.htt\#002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 @ARTICLE{lustre:ieee,
   AUTHOR={N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud},
   TITLE={The synchronous dataflow programming language Lustre},
   JOURNAL={Proceedings of the IEEE},
   VOLUME={79},
   NUMBER={9},
   PAGES={1305-1320},
   MONTH={September},
   YEAR={1991}
   }
   
   @InProceedings{All99, 
 title =  "Factor oracle: a new structure for pattern matching'",
 author =   "Allauzen C., Crochemore M., Raffinot M.",
 booktitle =  "Proc. of SOFSEM'99",
  publisher= "LNCS",
  year=  "1999"
  }
  
  @ InProceedings{rad06,
    author = "C. Rueda, G. Assayag and S. Dubnov",
    title = "A Concurrent Constraints Factor Oracle Model for Music Improvisation",
    booktitle =    "Proc. of  CLEI 2006",
    year = "2006"
    }
  
  
@article{MendlerPSS95,
author = {N P Mendler and Prakash Panangaden and Philip J Scott and R A G Seely}, 
journal = {Nord. J. Comput.},
title = {A Logical View of Concurrent Constraint Programming},
number = {2},
pages = {181--220},
volume = {2},
year = {1995}
}

@inproceedings{NielsenPV02,
author = {Mogens Nielsen and Catuscia Palamidessi and Frank D Valencia}, 
journal = {Proceedings},
title = {On the expressive power of temporal concurrent constraint programming languages},
pages = {156--167},
year = {2002}
}


@ inproceedings{ccp-alp,
author={C. Olarte and  C. Rueda  and F. Valencia},
title= {Concurrent Constraint Programming: Calculi, Languages and Emerging Applications},
booktitle = {Newsletter of the ALP, Vol. 21 n. 2-3. 2008.}
}

@article{Girard87,
  author    = {Jean-Yves Girard},
  title     = {Linear Logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {50},
  year      = {1987},
  pages     = {1-102}
}

@article{WischikG05,
  author    = {Lucian Wischik and
               Philippa Gardner},
  title     = {Explicit fusions},
  journal   = {Theor. Comput. Sci.},
  volume    = {340},
  number    = {3},
  year      = {2005},
  pages     = {606-630}
}

@INPROCEEDINGS{Saraswat94programmingin,
    author = {Vijay Saraswat and Radha Jagadeesan and Vineet Gupta},
    title = {Programming in timed concurrent constraint languages},
    booktitle = {Constraint Programming, volume 131 of NATO Advanced Science Institute Series F: Computer and System Sciences},
    year = {1994},
    pages = {361--410},
    publisher = {Springer-Verlag}
}

@techreport{beauxis08-tech,
 author = {Romain Beauxis},
 title = {A smooth probabilistic extension of concurrent constraint  programming},
 institution = {INRIA Futurs and LIX,  Ecole Polytechnique},
 year = {2008}
 }
 
@inproceedings{beauxis08,
 author = {Romain Beauxis},
 title = {Probabilistic and Concurrent Models for 
Security },
 booktitle = {ICLP 2008},
 year = {2008},
 publisher = {LNCS},
 note={To appear}
 } 
 
@inproceedings{PerezR08,
 author    = {J. A. P{\'e}rez and
              C. Rueda},
 title     = {{Non-determinism and Probabilities in Timed Concurrent Constraint
              Programming}},
 year      = {2008},
 publisher = {Springer},
  booktitle = {Proc. of ICLP'08},
  series    = {LNCS},
 volume    = {5366},
 pages     = {677-681}
 }

 @inproceedings{perezICLP08,
 author = {Jorge A. Perez and Camilo Rueda},
 title = {Non-determinism and Probabilities in Timed  Concurrent Constraint Programming},
 booktitle = {ICLP 2008},
 year = {2008},
 publisher = {LNCS},
 note={To appear}
 }


@techreport{perezICLP08-tech,
 author = {Jorge A. Perez and Camilo Rueda},
 title = {Towards a CCP-based Framework for the 
Analysis of Probabilistic Reactive Systems},
 year = {2008}
 }

@inproceedings{rueda-olarte-CLEI08,
 author = {C. Olarte and C. Rueda and Frank D. Valencia},
 title = {Universal Timed CCP:  Expressivity  and Applications to Musical Improvisation},
 booktitle = {Proc. of CLEI 08},
 year = {2008},
 }


 @inproceedings{sarria-CLEI08,
 author = {Gerardo Sarria and Camilo Rueda},
 title = {Real-Time Concurrent Constraint Programming},
 booktitle = {Proc. of CLEI 08},
 year = {2008},
 }

@inproceedings{millen95,
  author    = {Jonathan K. Millen},
  title     = {The Interrogator: A Tool for Cryptographic Protocol Security},
  booktitle = {Proc. of IEEE Symposium on Security and Privacy},
  year      = {1984},
  pages     = {134-141},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{ArandaPRV08,
  author    = {J. Aranda and
               Jorge  P{\'e}rez and
               Camilo Rueda and
               Frank Valencia},
  title     = {Stochastic Behavior and Explicit Discrete Time in Concurrent
               Constraint Programming},
  booktitle = {Proc. of ICLP'08},
  year      = {2008},
  series    = {LNCS},
  volume    = {5366},
  }

@article{CardelliGK08,
  author    = {Luca Cardelli and
               Philippa Gardner and
               Ozan Kahramanogullari},
  title     = {A Process Model of Rho GTP-binding Proteins in the Context
               of Phagocytosis},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {194},
  number    = {3},
  year      = {2008},
  pages     = {87-102},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2007.12.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{FalaschiV06,
  author    = {Moreno Falaschi and
               Alicia Villanueva},
  title     = {Automatic verification of timed concurrent constraint programs},
  journal   = {TPLP},
  volume    = {6},
  number    = {3},
  year      = {2006},
  pages     = {265-300}
  }


@article{Gillespie77,
  author    = {D.T. Gillespie},
  title     = {Exact stochastic simulation of coupled chemical reactions},
  journal   = { J. of Physical  Chemistry.},
  volume    = {81},
  year      = {1977},
  pages     = {}
}

@Article{Arbelaez07,
  AUTHOR = {A. Arbel\'aez and J. Guti\'errez and J. A. P\'erez },
  TITLE = {{Timed Concurrent Constraint Programming in Systems Biology}},
  journal = {{Newsletter of the ALP}},
  year = 	 {2006},
  OPTkey = 	 {},
  volume = 	 {19},
  number = 	 {4},
  OPTNOTE = {More info at http://www.cs.kuleuven.ac.be/dtai/projects/ALP/newsletter/},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

 @inproceedings{allombert07,
 author = {A. Allombert and G. Assayag and M. Desainte-Catherine},
 title = {A system of interactive scores based on {P}etri nets},
 booktitle = {Proc. of  SMC ' 07},
 year = {2007}
 }
 
 @article{AGPV06,
title = {{Verifying Real-Time Properties of tccp Programs}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and Villanueva, A.},
journal = {Journal of Universal Computer Science},
volume = {12},
number = 11,
pages = {1551--1573},
year = 2006
}

